Total Books: 1 - 1 /1
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Continue reading
Total Books: 1 - 1 /1
